Conormal Spaces and Whitney Stratifications

Abstract We describe a new algorithm for computing Whitney stratifications of complex projective varieties. The main ingredients are (a) an algebraic criterion, due to Lê and Teissier, which reformulates regularity in terms conormal spaces maps, (b) interpretation this criterion via ideal saturations, can be practically implemented on computer. show that improves upon the existing state art by several orders magnitude, even relatively small input En route, we introduce related algorithms efficiently stratifying affine varieties, flags given variety, maps.